Optimal. Leaf size=161 \[ \frac{11 \sqrt{1-2 x} (5 x+3)^3}{9 (3 x+2)^3}+\frac{11 (1-2 x)^{3/2} (5 x+3)^3}{18 (3 x+2)^4}-\frac{(1-2 x)^{5/2} (5 x+3)^3}{15 (3 x+2)^5}-\frac{209 \sqrt{1-2 x} (5 x+3)^2}{756 (3 x+2)^2}-\frac{11 \sqrt{1-2 x} (6475 x+3911)}{15876 (3 x+2)}-\frac{146971 \tanh ^{-1}\left (\sqrt{\frac{3}{7}} \sqrt{1-2 x}\right )}{7938 \sqrt{21}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0623411, antiderivative size = 161, normalized size of antiderivative = 1., number of steps used = 8, number of rules used = 6, integrand size = 24, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.25, Rules used = {97, 12, 149, 146, 63, 206} \[ \frac{11 \sqrt{1-2 x} (5 x+3)^3}{9 (3 x+2)^3}+\frac{11 (1-2 x)^{3/2} (5 x+3)^3}{18 (3 x+2)^4}-\frac{(1-2 x)^{5/2} (5 x+3)^3}{15 (3 x+2)^5}-\frac{209 \sqrt{1-2 x} (5 x+3)^2}{756 (3 x+2)^2}-\frac{11 \sqrt{1-2 x} (6475 x+3911)}{15876 (3 x+2)}-\frac{146971 \tanh ^{-1}\left (\sqrt{\frac{3}{7}} \sqrt{1-2 x}\right )}{7938 \sqrt{21}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 97
Rule 12
Rule 149
Rule 146
Rule 63
Rule 206
Rubi steps
\begin{align*} \int \frac{(1-2 x)^{5/2} (3+5 x)^3}{(2+3 x)^6} \, dx &=-\frac{(1-2 x)^{5/2} (3+5 x)^3}{15 (2+3 x)^5}+\frac{1}{15} \int -\frac{55 (1-2 x)^{3/2} x (3+5 x)^2}{(2+3 x)^5} \, dx\\ &=-\frac{(1-2 x)^{5/2} (3+5 x)^3}{15 (2+3 x)^5}-\frac{11}{3} \int \frac{(1-2 x)^{3/2} x (3+5 x)^2}{(2+3 x)^5} \, dx\\ &=-\frac{(1-2 x)^{5/2} (3+5 x)^3}{15 (2+3 x)^5}+\frac{11 (1-2 x)^{3/2} (3+5 x)^3}{18 (2+3 x)^4}+\frac{11}{36} \int \frac{\sqrt{1-2 x} (3+5 x)^2 (24+18 x)}{(2+3 x)^4} \, dx\\ &=-\frac{(1-2 x)^{5/2} (3+5 x)^3}{15 (2+3 x)^5}+\frac{11 (1-2 x)^{3/2} (3+5 x)^3}{18 (2+3 x)^4}+\frac{11 \sqrt{1-2 x} (3+5 x)^3}{9 (2+3 x)^3}-\frac{11}{324} \int \frac{(-162-72 x) (3+5 x)^2}{\sqrt{1-2 x} (2+3 x)^3} \, dx\\ &=-\frac{209 \sqrt{1-2 x} (3+5 x)^2}{756 (2+3 x)^2}-\frac{(1-2 x)^{5/2} (3+5 x)^3}{15 (2+3 x)^5}+\frac{11 (1-2 x)^{3/2} (3+5 x)^3}{18 (2+3 x)^4}+\frac{11 \sqrt{1-2 x} (3+5 x)^3}{9 (2+3 x)^3}-\frac{11 \int \frac{(-9522-3330 x) (3+5 x)}{\sqrt{1-2 x} (2+3 x)^2} \, dx}{13608}\\ &=-\frac{209 \sqrt{1-2 x} (3+5 x)^2}{756 (2+3 x)^2}-\frac{(1-2 x)^{5/2} (3+5 x)^3}{15 (2+3 x)^5}+\frac{11 (1-2 x)^{3/2} (3+5 x)^3}{18 (2+3 x)^4}+\frac{11 \sqrt{1-2 x} (3+5 x)^3}{9 (2+3 x)^3}-\frac{11 \sqrt{1-2 x} (3911+6475 x)}{15876 (2+3 x)}+\frac{146971 \int \frac{1}{\sqrt{1-2 x} (2+3 x)} \, dx}{15876}\\ &=-\frac{209 \sqrt{1-2 x} (3+5 x)^2}{756 (2+3 x)^2}-\frac{(1-2 x)^{5/2} (3+5 x)^3}{15 (2+3 x)^5}+\frac{11 (1-2 x)^{3/2} (3+5 x)^3}{18 (2+3 x)^4}+\frac{11 \sqrt{1-2 x} (3+5 x)^3}{9 (2+3 x)^3}-\frac{11 \sqrt{1-2 x} (3911+6475 x)}{15876 (2+3 x)}-\frac{146971 \operatorname{Subst}\left (\int \frac{1}{\frac{7}{2}-\frac{3 x^2}{2}} \, dx,x,\sqrt{1-2 x}\right )}{15876}\\ &=-\frac{209 \sqrt{1-2 x} (3+5 x)^2}{756 (2+3 x)^2}-\frac{(1-2 x)^{5/2} (3+5 x)^3}{15 (2+3 x)^5}+\frac{11 (1-2 x)^{3/2} (3+5 x)^3}{18 (2+3 x)^4}+\frac{11 \sqrt{1-2 x} (3+5 x)^3}{9 (2+3 x)^3}-\frac{11 \sqrt{1-2 x} (3911+6475 x)}{15876 (2+3 x)}-\frac{146971 \tanh ^{-1}\left (\sqrt{\frac{3}{7}} \sqrt{1-2 x}\right )}{7938 \sqrt{21}}\\ \end{align*}
Mathematica [A] time = 0.0707331, size = 89, normalized size = 0.55 \[ \frac{-21 \left (52920000 x^6+226697490 x^5+288394965 x^4+106869513 x^3-43687652 x^2-40879074 x-7933096\right )-1469710 \sqrt{21-42 x} (3 x+2)^5 \tanh ^{-1}\left (\sqrt{\frac{3}{7}} \sqrt{1-2 x}\right )}{1666980 \sqrt{1-2 x} (3 x+2)^5} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.01, size = 84, normalized size = 0.5 \begin{align*}{\frac{1000}{729}\sqrt{1-2\,x}}+{\frac{8}{3\, \left ( -6\,x-4 \right ) ^{5}} \left ( -{\frac{284287}{784} \left ( 1-2\,x \right ) ^{{\frac{9}{2}}}}+{\frac{226727}{72} \left ( 1-2\,x \right ) ^{{\frac{7}{2}}}}-{\frac{1383554}{135} \left ( 1-2\,x \right ) ^{{\frac{5}{2}}}}+{\frac{9599737}{648} \left ( 1-2\,x \right ) ^{{\frac{3}{2}}}}-{\frac{31200211}{3888}\sqrt{1-2\,x}} \right ) }-{\frac{146971\,\sqrt{21}}{166698}{\it Artanh} \left ({\frac{\sqrt{21}}{7}\sqrt{1-2\,x}} \right ) } \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 2.07559, size = 185, normalized size = 1.15 \begin{align*} \frac{146971}{333396} \, \sqrt{21} \log \left (-\frac{\sqrt{21} - 3 \, \sqrt{-2 \, x + 1}}{\sqrt{21} + 3 \, \sqrt{-2 \, x + 1}}\right ) + \frac{1000}{729} \, \sqrt{-2 \, x + 1} + \frac{345408705 \,{\left (-2 \, x + 1\right )}^{\frac{9}{2}} - 2999598210 \,{\left (-2 \, x + 1\right )}^{\frac{7}{2}} + 9762357024 \,{\left (-2 \, x + 1\right )}^{\frac{5}{2}} - 14111613390 \,{\left (-2 \, x + 1\right )}^{\frac{3}{2}} + 7644051695 \, \sqrt{-2 \, x + 1}}{357210 \,{\left (243 \,{\left (2 \, x - 1\right )}^{5} + 2835 \,{\left (2 \, x - 1\right )}^{4} + 13230 \,{\left (2 \, x - 1\right )}^{3} + 30870 \,{\left (2 \, x - 1\right )}^{2} + 72030 \, x - 19208\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.39306, size = 397, normalized size = 2.47 \begin{align*} \frac{734855 \, \sqrt{21}{\left (243 \, x^{5} + 810 \, x^{4} + 1080 \, x^{3} + 720 \, x^{2} + 240 \, x + 32\right )} \log \left (\frac{3 \, x + \sqrt{21} \sqrt{-2 \, x + 1} - 5}{3 \, x + 2}\right ) + 21 \,{\left (26460000 \, x^{5} + 126578745 \, x^{4} + 207486855 \, x^{3} + 157178184 \, x^{2} + 56745266 \, x + 7933096\right )} \sqrt{-2 \, x + 1}}{1666980 \,{\left (243 \, x^{5} + 810 \, x^{4} + 1080 \, x^{3} + 720 \, x^{2} + 240 \, x + 32\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 2.26974, size = 169, normalized size = 1.05 \begin{align*} \frac{146971}{333396} \, \sqrt{21} \log \left (\frac{{\left | -2 \, \sqrt{21} + 6 \, \sqrt{-2 \, x + 1} \right |}}{2 \,{\left (\sqrt{21} + 3 \, \sqrt{-2 \, x + 1}\right )}}\right ) + \frac{1000}{729} \, \sqrt{-2 \, x + 1} + \frac{345408705 \,{\left (2 \, x - 1\right )}^{4} \sqrt{-2 \, x + 1} + 2999598210 \,{\left (2 \, x - 1\right )}^{3} \sqrt{-2 \, x + 1} + 9762357024 \,{\left (2 \, x - 1\right )}^{2} \sqrt{-2 \, x + 1} - 14111613390 \,{\left (-2 \, x + 1\right )}^{\frac{3}{2}} + 7644051695 \, \sqrt{-2 \, x + 1}}{11430720 \,{\left (3 \, x + 2\right )}^{5}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]